-
1 weakest precondition
слабейшее предусловие
слабейшее входное условие
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
Синонимы
EN
Англо-русский словарь нормативно-технической терминологии > weakest precondition
-
2 weakest precondition
слабейшее предусловие; слабейшее входное условиеEnglish-Russian information technology > weakest precondition
-
3 weakest precondition
Вычислительная техника: слабейшее входное условие, слабейшее предусловие
См. также в других словарях:
слабейшее предусловие — слабейшее входное условие — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия Синонимы слабейшее входное условие EN weakest precondition … Справочник технического переводчика
Слабейшее предусловие — Преобразователи предикатов расширение логики Флойда Хоара, сделанное Э. Дейкстрой. Впервые появившись в [1][1], с помощью этого метода определяется семантика императивного программирования и соответствующего языка. В нём каждой команде языка… … Википедия
